The CtagsSidekick filter no longer works in Jedit5.0. Typing text in the filter box should filter to matching expressions, but it does nothing.
Submitted | fevans - 2012-11-30 02:38:17 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | |
Resolution | None |
2012-12-05 23:27:50 snarum-micron |
I can't confirm. It works for me. What revision of CtagsSidekick? |
---|---|
2012-12-06 15:58:24 fevans |
Sorry, I have CtagsSidekick 1.5, Jedit 5.0.0, JRE 1.6.0_37. |
2013-02-07 17:50:11 ezust |
- **summary**: CtagsSidekick Filter No Longer Works in Jedit5.0 --> CtagsSidekick Filter only works with certain options checked |
2013-02-07 17:50:11 ezust |
I can reproduce this. If the option "filter persists after tree selection" is \*not\*
checked, and I start up a clean jEdit 5.0, typing into the filter field doesn't do
anything.
|
2013-02-07 17:51:52 ezust |
The filter checkbox option I am talking about is in Plugin Options - Sidekick - General,
not in CtagsSideKick.
|
2013-02-07 17:52:33 ezust |
- **assigned_to**: nobody --> shlomy |
2013-02-07 19:47:52 fevans |
That's interesting. Oddly enough, I can't reproduce the error anymore. |
2013-02-07 20:19:56 ezust |
I only see it immediately after jEdit startup. If i start fiddling with options, eventually
the filter field always works and it doesn't matter what options are there. So it
seems like some sort of initialization problem.
|
2013-02-07 20:38:57 fevans |
I forgot to mention. I did not have this option checked after copying my co-workers settings. |
2014-07-03 20:07:55.446000 *anonymous |
- **assigned_to**: Shlomy Reinstein --> nobody |